dsys\{i:l\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Id$\rightarrow$msga\{i:l\}